Foundational, First-Order, and Second-Order Classification Theory
نویسندگان
چکیده
منابع مشابه
On the second order first zagreb index
Inspired by the chemical applications of higher-order connectivity index (or Randic index), we consider here the higher-order first Zagreb index of a molecular graph. In this paper, we study the linear regression analysis of the second order first Zagreb index with the entropy and acentric factor of an octane isomers. The linear model, based on the second order first Zag...
متن کاملFoundational Proof Certificates in First-Order Logic
It is the exception that provers share and trust each others proofs. One reason for this is that different provers structure their proof evidence in remarkably different ways, including, for example, proof scripts, resolution refutations, tableaux, Herbrand expansions, natural deductions, etc. In this paper, we propose an approach to foundational proof certificates as a means of flexibly presen...
متن کاملA Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملCommentary: First-Order Embodiment, Second-Order Embodiment, Third-Order Embodiment
The framework of first-, second-, and third-order embodiment (1-3E; Metzinger, 2014) was developed for exploring how phenomenal properties are physically and computationally grounded. Metzinger’s goal for 1-3E is to show how the experience of being a self (i.e., phenomenal selfhood) is generated within an embodied system and thus to embed his self-model theory (Metzinger, 2004) in the context o...
متن کاملFirst Order Theory Re
This paper summarizes the current state of the art in the topics of rst-order theory revision and theory restructuring. The various tasks involved in rst-order theory reenement (revision vs. restructuring) are deened and then discussed in turn. For theory revision, the issue of minimality is discussed in detail, and a general outline algorithm is given which identiies the major places of diiere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KNOWLEDGE ORGANIZATION
سال: 2015
ISSN: 0943-7444
DOI: 10.5771/0943-7444-2015-4-244